A Note on Tarski’s Definition of Truth (1955)

A Note on Runway Capacity Definition and Safety

The following is a discussion on the different aspects of the term capacity as well as a brief look at the commonly used capacity definitions in industrial and operations engineering in general and in Civil Aviation in particular. We maintain that quality factors (including more specifically here, safety) must be explicitly considered in runway capacity definition, and accordingly, we provide a...

A Note on Extension , Intension , and Truth

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...

A Non-standard Truth Definition

A note on Devaney's definition of chaos

Devaney defines a function to be chaotic if it satisfies three conditions: transitivity, having dense set of periodic points and sensitive dependence on initial conditions. Banks et al prove that if the function is continuous then the third conditioin is implied from the first two and therefore is redundant. However, if the function is not assumed to be continuous, then it is not known if the t...

A Note on Satisfying Truth-Value Assignments of Boolean Formulas

In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean formula has at least one bounded assignment. This allows us to show that satisfying truthvalue assignments of formulas in USAT can be syntactically defined in the language of classical propositional logic. We also discuss a possi...